منابع مشابه
Modal Predicates
Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated ...
متن کاملModal Predicates and Co-equations
We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X , namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties ...
متن کاملEnforcing opacity of regular predicates on modal transition systems
Given a labelled transition system LTS partially observed by an attacker, and a regular predicate Sec over the runs of LTS, enforcing opacity of the secret Sec in LTS means computing a supervisory controller K such that an attacker who observes a run of K/LTS cannot ascertain that the trace of this run belongs to Sec based on the knowledge of LTS and K. We lift the problem from a single labelle...
متن کاملNominalizations: The Case of Nominalizations of Modal Predicates
Nominalizations describing events and tropes have a received considerable interest in the semantic (and philosophical) literature. By contrast, nominalizations of modal predicates and the modal objects they describe have received little, if any, attention in the literature so far. This paper is a case study of nominalizations of the sort need and possibility as well as permission, obligation, i...
متن کاملScheduling Predicates
In this report we present a powerful new synchronisation mechanism called scheduling predicates These predicates there are no there exists and for all allow the programmer to schedule the order of execution of operations based on relative arrival times values of parameters and built in synchronisation counters Since many synchronisation problems are in fact scheduling problems these facilitate ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2004
ISSN: 1448-5052
DOI: 10.26686/ajl.v2i0.1767